42. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده : Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
43. Application Development Systems :
پدیدآورنده : edited by Tosiyasu L. Kunii.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-aided design.,Engineering.,Physics.
رده :
QA76
.
9
.
S88
E358
1986
44. Applications to Data Collection, Transcriptionand Assessment-Crowdsourcing for Speech Processing
پدیدآورنده : / naziفEsk
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : MINERAL PROCESSING& ELECTRONIC|MINING &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
45. Applied Computer Sciences in Engineering
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Engineering -- Data processing -- Congresses,علوم کامپیوتر -- کنگره‌ها,مهندسی -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
46. Applied Computer Sciences in Engineering
پدیدآورنده : \ [Edited by] Juan Carlos Figueroa-García...[et.all
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer-aided engineering -- Congresses.,Engineering -- Data processing -- Congresses.,مهندسی به کمک کامپیوتر -- کنگره‌ها,مهندسی -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
47. Applied Evolutionary Algorithms in Java
پدیدآورنده : by Robert Ghanea-Hercock.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Electronic data processing.
48. Applied Maple for engineers and scientists
پدیدآورنده : / Chris Tocci, Steve Adams
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Maple (Computer file),Engineering mathematics , Data processing,Science , Mathematics , Data processing
رده :
E-BOOK
49. Applied parallel computing : Computations in physics, chemistry and engineering : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
پدیدآورنده : Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Data processing -- Congresses ، Physics,Data processing -- Congresses ، Chemistry,Data processing -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
1041
50. Applied scientific computing :
پدیدآورنده : Peter R. Turner, Thomas Arildsen, Kathleen Kavanagh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Data processing.,Python (Computer program language),3D graphics & modelling.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Programming-- Algorithms.,Mathematical theory of computation.,Mathematics-- Applied.,Mathematics-- Data processing.,Maths for engineers.,Maths for scientists.,Python (Computer program language)
رده :
QA76
.
95
51. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
52. Architectures for baseband signal processing
پدیدآورنده : / Frank Kienle
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mobile communication systems, Design and construction,Radio, Transmitter-receivers, Design and construction,Signal processing, Digital techniques,Engineering,Circuits and Systems,Processor Architectures,Signal, Image and Speech Processing,TECHNOLOGY & ENGINEERING, Mechanical, bisacsh
رده :
E-BOOK
53. Artificial intelligence and expert systems for engineers
پدیدآورنده : / C.S. Krishnamoorthy, S. Rajeev
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Expert systems (Computer science),Artificial intelligence,Engineering- Data processing
رده :
QA76
.
76
.
E95
,
K75
1996
54. Artificial neural networks
پدیدآورنده : Kevin L. Priddy and Paul E. Keller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Neural networks (Computer science)
55. Artificial neural networks in biological and environmental analysis
پدیدآورنده : / Grady Hanrahan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
56. Asking the right questions about electronic voting
پدیدآورنده : / Richard Celeste, Dick Thornburgh, and Herbert Lin, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic voting United States,Elections United States- Data processing,Voting- Technological innovations
رده :
JK1985
.
A85
2006
57. Asking the right questions about electronic voting
پدیدآورنده : / Richard Celeste, Dick Thornburgh, and Herbert Lin, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic voting United States,Elections United States- Data processing,Voting- Technological innovations
رده :
JK1985
.
A85
2006
58. Astronomy and Big Data
پدیدآورنده : / Kieran Jay Edwards, Mohamed Medhat Gaber
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|MINING
رده :
E-BOOK
59. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
